define for loop